数理逻辑是计算机科学的基础之一，在模型与系统的规范与验证等方面有着广泛的应用。随着当今软硬件产品（电路、程序和通信协议等）日趋复杂，数理逻辑已经成为设计开发人员的日常工具。 作为计算机及其相关专业的数理逻辑课程教材，本书自出版以来受到了广泛的好评，世界许多著名大学（比如美国普林斯顿大学、卡内基?梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰Vrije大学、印度理工学院）都采用本书作为教材。 全书涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。主要特色就是紧紧围绕软硬件规约和验证这一主题，反映计算机科学中数理逻辑的发展和实际需要。第2版新增了可满足性（SAT）算法、紧致性理论和L?wenheim-Skolem定理，并介绍了Alloy语言和NuSMV工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式...(展开全部)

数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学，印度理工学院在内的多个国家几十所高校采纳为教材。

《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。

《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。

本书介绍数理逻辑及其在机器证明中的应用. 数理逻辑部分包括绪论、前三章及附录. 绪论简要地说明了数理逻辑的研究对象和方法. 前三章分别介绍命题逻辑、一阶逻辑以及它们的可靠性和完备性问题. 附录中阐述了重演式的推理，并且论证了它与自然推理的关系. 第四至第六章是机器证明部分，主要描述与数理逻辑有关的机器证明问题.

本书由两位知名的计算机科学教育家编写，全面而细致地介绍了计算机科学的各个方面。书中从信息层开始，历经硬件层、程序设计层、操作系统层、应用程序层和通信层，深入剖析了计算系统的每个分层，后讨论了计算的限制。此外，正文中穿插了大量的人物传记、历史点评、道德问题和新的技术发展信息，有助于你进一步了解计算机科学。每章后面都附带有大量的练习，可以帮助你即时重温并掌握这一章所述的内容。

《计算机科学导论（原书第3版）》是大学计算机相关专业的基础课教材，涉及计算机科学的各个方面。本书着重讲解基本概念而不是数学模型和技术细节，通过大量的图表和演示范例讲解计算机科学的基础知识；每章后面的关键术语、小结和练习有助于读者掌握和复习知识要点。本书内容丰富，通熟易懂，既适合当作大专院校的计算机基础课教材，也可作为一般的计算机基础入门读物。

《计算机科学导论（原书第3版）》是大学计算机相关专业的基础课教材，涉及计算机科学的各个方面。本书着重讲解基本概念而不是数学模型和技术细节，通过大量的图表和演示范例讲解计算机科学的基础知识；每章后面的关键术语、小结和练习有助于读者掌握和复习知识要点。本书内容丰富，通熟易懂，既适合当作大专院校的计算机基础课教材，也可作为一般的计算机基础入门读物。

版本: 第1版, 平装, 世界图书出版公司

本书面向所有对计算机科学感兴趣的读者，以浅显易懂的语言和简明扼要的形式介绍计算机科学领域的重要知识点，尽量少涉及学术概念，着力将抽象理论具体化，复杂问题简单化，既适合计算机专业技术人员查漏补缺基本理论，也适合普通读者了解计算思维。·